home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group93b.txt / 000097_icon-group-sender _Thu May 13 10:28:52 1993.msg < prev    next >
Internet Message Format  |  1993-06-16  |  1KB
  1. Received: from owl.CS.Arizona.EDU by cheltenham.cs.arizona.edu; Mon, 17 May 1993 07:43:10 MST
  2. Received: by owl.cs.arizona.edu; Mon, 17 May 1993 07:43:09 MST
  3. Date: 13 May 93 10:28:52 GMT
  4. From: pipex!zaphod.crihan.fr!univ-lyon1.fr!scsing.switch.ch!news.unige.ch!NewsWatcher!user@uunet.uu.net  (Boris Borcic)
  5. Organization: University of Geneva
  6. Subject: Icon vs Prolog, docs, availability ?
  7. Message-Id: <borbor-130593120939@129.194.82.105>
  8. Sender: icon-group-request@cs.arizona.edu
  9. To: icon-group@cs.arizona.edu
  10. Status: R
  11. Errors-To: icon-group-errors@cs.arizona.edu
  12.  
  13. I have read in this group that Icon uses a backtracking
  14. mechanism very similar to Prolog. Would a user of both
  15. languages care to sketch Icon with Prolog as background ?
  16. What are the most significant differences ?
  17.  
  18. What is the typical problem easily solved in the same way
  19. in both languages? What typical problems are there, if any,
  20. that are easy to solve in Icon but not in Prolog, and vice-versa ?
  21.  
  22. For instance, it is at times desirable to constrain the 
  23. search for further solutions in a way that depends on the
  24. solutions already found. IMHO, the declarative leaning of Prolog's
  25. backtracking makes this difficult and unnatural to program.
  26. Does Icon let me do this naturally ?
  27.  
  28. Some FAQs : Is there an Icon Bible ? Internet on-line docs ?
  29. Public domain implementations ? For what systems ?
  30.  
  31. Thanks in advance
  32.  
  33. - Boris Borcic, borbor@divsun.unige.ch
  34.